non-saturating logic

非饱和逻辑